0x1p-1022